Required Stack

Contrary to earlier versions of ShowDVI<#478#><#478#>, this one is satisfied with only 4000 bytes of stack. (Your CLI/Shell starts with that amount anyway, so nothing special has to be done. -TT)